An Intentional Scenario-Based Approach for Testing Software Requirements Specifications
نویسندگان
چکیده
منابع مشابه
An Abductive Approach for Analysing Event-Based Requirements Specifications
We present a logic-based approach for analysing event-based requirements specifications given in terms of a system’s reaction to events and safety properties. The approach uses an event-based logic, called the Event Calculus, to represent such specifications declaratively. Building on this formalism, the approach uses an abductive reasoning mechanism for analysing safety properties. Given a sys...
متن کاملQuality Properties Evaluation for Software Requirements Specifications: An Exploratory Analysis
Most software problems arise from deficiencies in the manner in which software requirements are elicited and expressed. Ensuring that the Software Requirements Specification document (SRS) has the necessary quality is crucial to the success of any software development project, since its information is used across all project stages. However, assessing the quality of a SRS is not a simple proces...
متن کاملAn XMLBased Approach for the Automatic Verification of Software Requirements Specifications
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to automatically compute some metrics. These ideas have been ...
متن کاملAn Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications
Rising costs of energy production have made saving energy an important topic in many areas, including modern production systems. One idea is taking advantage of the braking energy becoming available when decelerating moving components of a machine. However, using the braking energy is a difficult task, as it requires the synchronization of the movement of different parts of a production system....
متن کاملScenario-Based Software Reliability Testing Profile for Autonomous Control System
Operational profile is often used in software reliability testing, but it is limited to non-obvious-operation software such as Autonomous Control System. After analyzing the autonomous control system and scenario technology, a scenario-based profile constructing method for software reliability testing is presented. Two levels of scenario-based profile in the paper are introduced: system level a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research Journal of Information Technology
سال: 2015
ISSN: 1815-7432
DOI: 10.3923/rjit.2015.42.57